x86: Fix the clocksource= boot parameter after c/s 18786.
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 19 Nov 2008 12:40:23 +0000 (12:40 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 19 Nov 2008 12:40:23 +0000 (12:40 +0000)
commit6146e844ab71eb1526643b5ce9fbb393e2c287b4
tree74bdb3be16bd01202b3907038705640588e957fe
parentd25a1286b4cc8d9395b9f1b2366107d6c2445972
x86: Fix the clocksource= boot parameter after c/s 18786.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/time.c